1141. Programming:the derivation of algorithms
پدیدآورنده : KALDEWAIJ,ANNE
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER ALGORITHMS
رده :
QA
76
.
6
.
K3417
1990


1142. Programming with Turing and Object Oriented Turing /
پدیدآورنده : by Peter Grogono.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer science.
رده :
QA76
.
7-76
.
73


1143. Progress in Artificial Intelligence :
پدیدآورنده : edited by Miguel Filgueiras, Luís Damas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.

1144. Progress in artificial intelligence :
پدیدآورنده : 8th Portuguesse Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 ; Ernesto Costa, Amilcar Cardoso (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- avtomatsko sklepanje -- dokazovanje teoremov -- strojno učenje -- sistemi učenja -- predstavitev znanja -- načini učenja -- inteligentni učni sistemi -- kakovostno sklepanje -- zborniki

1145. Provable security :
پدیدآورنده : Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25


1146. Pyramid algorithms
پدیدآورنده : / Ron Goldman
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer graphics.,Geometrical models--Data processing
رده :
T
,
385
,.
G6398
,
2003


1147. Pyramid algorithms :
پدیدآورنده : Ron Goldman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Geometrical models-- Data processing.,Computer graphics.,COMPUTERS-- Digital Media-- Graphics Applications.,COMPUTERS-- Image Processing.,Geometrical models-- Data processing.,PHOTOGRAPHY-- Techniques-- Digital.,TECHNOLOGY & ENGINEERING-- Imaging Systems.
رده :
T385
.
G6398
2003


1148. Pyramid algorithms : a dynamic programming approach to curves and surfaces for geometric modeling
پدیدآورنده : Goldman, Ronald Neil, 7491-
کتابخانه: (طهران)
موضوع : ، Computer graphics,Data processing ، Geometrical models
رده :
T
385
.
G65P9


1149. Pyramidal Systems for Computer Vision
پدیدآورنده : edited by Virginio Cantoni, Stefano Levialdi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Computer vision.
رده :
TA1632
.
E358
1986


1150. Python Programming Fundamentals
پدیدآورنده : by Kent D. Lee.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Python (Computer program language).

1151. Python essential reference /
پدیدآورنده : David M. Beazley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Python (Computer program language),Befehlsvorrat,Befehlsvorrat.,Python,Python (Computer program language),Python 2.4,Python 2.4.
رده :
QA76
.
73
.
P98
B43
2009


1152. Python for Probability, Statistics, and Machine Learning /
پدیدآورنده : by José Unpingco.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data mining.,Engineering mathematics.,Statistics.,Telecommunication.,Probabilities-- Data processing.,Python (Computer program language),Statistics-- Data processing.
رده :
QA76
.
73
.
P98
U57
2019


1153. Python machine learning /
پدیدآورنده : Wei-Meng Lee.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine learning.,Python (Computer program language),COMPUTERS-- Programming Languages-- Python.,Machine learning.,Python (Computer program language)
رده :
QA76
.
73
.
P98
L44
2019eb


1154. Python programming fundamentals /
پدیدآورنده : Kent D. Lee.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Python (Computer program language),Python (Computer program language)
رده :
QA76
.
73
.
P98


1155. Quantum computing :
پدیدآورنده : Jack D. Hidary.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Quantum computing.,Quantum computing.
رده :
QA76
.
889


1156. Quantum computing for computer scientists
پدیدآورنده : Noson S. Yanofsky and Mirco A. Mannucci
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Quantum computers

1157. Quasiconvex Optimization and Location Theory
پدیدآورنده : by Jaoquim António Santos Gromicho.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computer science-- Mathematics.,Econometrics.,Information theory.,Mathematical optimization.,Mathematics.

1158. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986


1159. Rational Drug Design
پدیدآورنده : edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.,Numerical analysis.

1160. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47

